perm filename AMSSQ8.360[360,GF] blob sn#799943 filedate 1985-07-31 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  G#aX
CU0αU u(↓@ 5 α E α E_α`E_α`E_α`E⊂α↓ E⊂α↓ Eλα↓`Eλα↓`Eαα Eαα DxαB Txαα`Dp
SBTp
S @xα∪ @xα∪Aλα∪Aλα∩`A_α∩`A_α∩@A(α∩@A(α⊃(D⊂πβ1X∧	!_%¬	  ¬α	  εA)  π↓)  πA	  πA	  π↓)  εA)  ¬↓i!_%∧)! %↓↓ 8%↓↓P(%↓↓`(%↓↓p(%↓α %↓α %↓α %↓↓p(%↓↓`(%↓↓P0%↓↓ @%¬)!_%∧(T !FβAX
BA5⊂λ∀α$xβA@dpαC4hαC@$`αSDXαR`DPαR@DPα∩@DPα∩@DPα∩@TXα∩`T`α∪ThαC@$pαB`DxβA u	∀Au ¬⊃(D 
Gc1X∧)!_%¬)  ¬Ai  εAI  πA)  λ↓)  λA)  	↓	  	↓	  	↓)  	A	  	A	  	A	  	A	  	A	  	A	  	↓)  	↓	  λA)  λA	  λ↓)  πA)  εAI  ¬Ai!(%∧i!λ"QλQ@∞εc0RBtPR@DPα∩@DPα∩@DPα∩@DPα∩@DP∩BdP∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩C∧P∩C∧("⊃BQH
F`↓(%¬)!(%↓	  %↓	  %↓	  %↓	  %↓	! %¬	! %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT #F#QX
Ba∃⊂π∀α$xβA@dpβα@DhαC@$`αC`$`α∩`TXα∩@TPα∩@DPα∩@@X¬∩@@X¬∩@@X¬∩@Qα∩`Aα∩`Pxα∪@xα∪Ppα∪ Phα∪@`Xα∪`p@αTα5⊂λU!4("∩αqX
F` πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	!8%¬i!8%↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p "Q	⊂ ∧εc0α∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@D("∩B⊃_
FaP +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A	 ⊂¬A	 (β↓I!%∧	@h'α(T %FCaX
@A⊂α∩@Aλα∩@@xαR@@pα∩@@hα∩@@`α∩@@Xα∩@@HαR@@@α∩@@8α∩@@0α∩@@ αR@@_β∩@@⊂∧∩@@λα@ DP∧↓DPβA@DPβ↓`DPαB DPαα`DPαβDPαβ DPαβ@DPαβ`DPαβ`DPα∧DPα∧ DPα∧@D("∪αQH
F` %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %¬)!(%¬(T &Gd1X
@a_β∩@a_β∩@qλβR@qλβRA↓βR@@λ↓Ca∧Pα @p↓@ DPα@0hα DPα@0h↓@@DPα@@`↓@@DPα`0X↓@`DPα`@P↓@`DPα↓0Hα`DPα↓@@↓ADPα↓@@↓ADPα↓ @0α↓DPα↓ @0↓A DPα↓@00↓A DPα↓@@ α↓ DPα↓@@ ↓A@DPα↓`@_↓A@DPα↓`@⊂↓A`DPαα@λ↓A`DPαα↓8α∩@@HβαDPαα `@α∩@@Pαα DPαα@@Hα⊃(DpFc1X↓AP %↓AP %↓a@ %↓a@ %α↓0 %↓⊂ ¬↓	  ↓a  %↓  ∧A	  ↓@a⊂ %↓0 ∧↓	  α↓p %↓@ βA	  αA` %↓P β↓	  β↓P %↓` αA	  βA@ %↓p α↓	  ∧↓0 %↓↓⊂_↓A	  ∧A  %↓↓ _↓↓	  ¬↓⊂ %↓↓0@%↓↓@8%↓↓@8%↓↓P0%↓↓P0"Q	qx⊃εc0X∧TAu	S`p8βS@`Xβ∪ PxαSQλαSA_α∩`Q_αR`A(α∩@Q(αR@A8α∩@A8α∩@A8α∩@A8α∩@A8α∩@A8α∩@Q(αR`A(α∩`Q_αSA_α∪QλαS PxαS@`Xβ∪`p8βTα5⊂πU!∀("∀αqX
F`↓λ%∧i! %↓↓⊂@%↓↓@0%↓↓`(%↓↓`(%↓↓p %↓↓p %↓↓`(%↓↓`(%↓↓@0%↓↓⊂@%¬	!_%∧)  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT (Gd"
Ba∃⊂πTα4xβA`tpβα`dhαC`T`αD T`α∧`DXαD`TXα¬ DPαE TPα¬`DPα¬`DPα¬`DPα¬`DPα¬`DPα¬`DPαE TXα¬ DXαB 08αS@Hα↓@D`αB @ αS PHα@Tpβα↓∀xβA`u	TB∃(∧@@Fα_ F⊂α_`F α⊃(E⊂G#1X∧	!_%¬)  ¬α	  εAI  πA)  λ↓	  λ↓	  λ↓	  πA)  εAI  ¬α	!(%∧i!%↓p(%↓↓(%↓↓⊂(%↓↓ (%↓↓0 %↓↓0(%↓↓@(%↓↓P(%↓↓`(%↓↓p %↓↓p(%↓α(%↓α⊂ "Q
1(εc00∧∪!T`λ∩b$Xβ↓ tPαB@DPαβ4Pαβ $Pα∩@TXβ∩a$`εSAUεU↓%@β⊗@UXα⊗`DP↓β`DP↓C TPαβTPβA`dP	Rb$hπ∀↓∀("∃βbλ
F`↓p%πI!p+A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +AλT *Ec1X
@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@@xα∩@PhαR`PXαSPHαSp(βSAtxεT!∀("∃C1h
F` 	A	  	A	0 λA	0 λA	@ πA	@ πA	@(εA)P εA	P εA	` ¬A	` ¬A	p ¬ip ∧A	p(∧↓
 βA
 βA
⊂ βj⊂ αA
⊂(α↓
  αj (↓@j0 ↓j0 ↓j0H*↓j@8*A*P("Q
rH∃Fc0αβ`Phα∩@@xαC DXαβ pXα∩`@hβB`DXαβ 0λ↓B`D`αα`@λ↓B@D`αα`@λαα D`αα`0⊂αα Dhαα @⊂ααDhαα @_↓BDhαα @_α↓`Dpα↓`@ α↓@Dpα↓`@ α↓@Dpα↓`@ α↓@Dxα↓ @0α↓Dxα↓ @0α↓Dxα↓ @0α↓Eα`@8α`Eα`@@↓@`Eα`@@α@Eλ↓@`0Hα@5λα @Hα Eλα @P↓@ E⊂↓@ 0X↓@ 5⊂↓@ 0X↓@ 5⊂βB`u_αC U_αC T("⊗βQp
F`  λA	P πA	` εA	p ¬A	p(∧A* ∧A
⊂ βA
  αA
0 ↓A
@ A
@H*Aj`(+↓*P8*α*0(A*0 ↓A
  αA
⊂ βA
 ∧A	p ¬A	` εA	P(εA)P πA	@ λA	0 	A	  
AλT ,F#AX
@Aλα∩`@xα∩`@xα∪@hα∪ @Xα∪ @Xα∪@@Hα∪@P8αS`@8α∀@(α∀P_αT @_α∀@@λα∀@@λα∀`u_βUU(α∃ E(α∃ E(α∃ E(α∃ E(α∃ E(α⊃(EPεc1XEI10%EK@(-A+ (-↓⊂(,↓*p(+↓*P(*↓*0()A
 ((A*('A)`(&A)P &↓)0(%↓)!@%ε	!@"Q⊃λ	Eα@(∧∪!4Xπ∩`P(αR`0@αR` Pα∃`E8α∃`E⊂∧SAT`∧`DXβ↓@DPαBDPαα DPαα DPααTPβ↓tXλ∪↓ λα∪@`_α⊃(F⊂	¬C1X↓	  %↓	  %↓	  %↓	  ↓↓I  B) x%↓`00%↓ p(%↓↓⊂ %↓↓⊂ %↓↓⊂(%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓⊂(%↓↓⊂ %↓ p(%↓ p %↓`00%βi  B)  ↓↓HT 1DbA 
↓`txε∪AdhαA T`αB4XαB@$Xα∩@TPα∩@DPα∩@DPα∩@TXα∩`PX↓∪PH↓S P0αSAtxεT!∧("→α! 
Fa` ,↓ ,↓ ,↓ (↓@  'βIPx&↓@@0&↓p(%A! %A↓⊂ %↓!⊂ %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %A↓⊂ %A↓(&↓`0&↓@08&Ci`HA
0↓↓λT 2DbA 
↓`dx¬∪!T`β↓T`ααDXαB 4Xαα@DPαB`4Pαβ4P	RB4P	R@DPαR`DXαB`$`αB 4hαA@TpπSaUλ∧⊃(F0λ∧β1XβB*P'Bi`(αi` '↓	` %β) h%β)` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓λT 3DBAH
↓@`⊂α∪aλα∪!t`β↓d`αA@TXαA`TXαα DPαB DPαα@DPαα@DPαα@DPαα@DPαα@DPαB DXαα DXαA`T`αA@T`β`thπSA⊂λα∀`⊂α∃`U0αRatXπ∩aD("~α↓ 
F` %↓	  %↓	  %↓	  %↓00%↓⊂H%βi 8↓AI 0αA) (βA	 (βA	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓λT 4A qX
@TPαR@TPαR@T8R`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`DXα∩`D("~A@H⊂ε`p((A*⊂((A*⊂(#@*  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	 _α↓) X%αI@8"Q
1_Fc0α∩@DPα∩@DPα∩@DPα∩@@Pα∩@@Hα∩@@@α∩@@8α∩@@0α∩@@(α∩@@ α∩@@⊂αR@@λαRA$P¬R@pλα∩@`_α∩@P α∩@@0α∩@@8α∩@@@α∩@@Hα∩@@Hα∩@@Pα∩@@Xα⊃(F`α↓c1X↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  "Q
Qp⊃¬α@α``8β∩@@λ¬a$Pλ!DPβAPλ↓ATPβ↓@p0αR@P@αBDPαBP@α∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαα @Hα⊃(Fpλ¬αA ↓00%↓⊂H%βi 8↓AI 0αA) (βA	 (βA	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓	  ∧↓λT 7EBq 
↓a∧xε∪Adhβ↓d`αBTXαB@TXαβDPαCTPαβ@DPαβ@DPαβ@DPαβ@DPαβ@DPαCTXαβDXαB@T`αBThβ↓dpπ∪aEλ∧⊃(G	¬C⊃ ↓ 0%↓⊂H%βi 8↓AI (βA)  ∧↓)  ∧A	  ∧A)  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ∧A)  ∧A	 (βA) (β↓) 8↓AI x%↓⊂H%↓ 0%↓	  %↓	  %↓λT 8DBAH
↓@`⊂α∪aλα∪!t`β↓d`αA@TXαA`TXαα DPαB DPαα@DPαα@DPαα@DPαα@DPαα@DPαB DXαα DXαA`T`αA@T`β`thπSA⊂λα∀`⊂α⊗E@α⊗E@α⊗D("≤A0x
¬ ↓A	  ↓↓)  AI X%α	 8%↓I (%↓)  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT 9D"1 
↓!∀hεRatXαA@DPαB $Pα∩@DPαR`d`∧S!4x¬∃e0αU`DP↓α`DP↓B TPαA@TPλ∩Ad`¬⊃(G πDβ↓@α↓	` '↓	` %βI p%βI` '↓	` '↓	` '↓	` '↓	` '↓	` '↓	` '↓@⊂'↓ ⊂('αipH(↓HT :DαA 
@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@@α∩@@8αR@@8αR@P βRat`∧@ Dhβ`D("≥B1(
¬ ¬A	  ¬A	0 ∧A	0 ∧A	0(∧↓	@ βA	@ βA	P βiP αA	P αA	` αi` αi` ↓A	p ↓ip ↓ip(@j8(↓j8(A*⊂("Q∞qh∂Eα@αα P8α∩@@HαA`DXα↓``0α∩`@8βA DXα↓`0λ↓A D`α↓ @λ↓AD`α↓ @λ↓AD`α↓ @λ↓AD`α↓ 0⊂↓ADhα`@⊂α@Dhα`@⊂α@Dhα`@⊂α@Dp↓@`0 ↓@@4pα @ ↓@ Dpα @ ↓@ Dx↓@ @ ↓@ 4x↓@ 0(↓@ 4x↓@ 0(βS`p0β∀P8αTP8αQ(G@
EBA A↓0 &↓↓⊂ &Ap &Ap '↓P 'A0 (↓⊂ (Aj⊂8)↓* ((AjH(↓⊂ 'A0 '↓P &Ap &↓ p(&↓↓⊂ %A↓0 %↓↓P "Q∂⊃_
F"@αα@TPαα@DXαα DXααD`α↓`D`α↓`D`α↓@Dhα↓ Dhα↓ Dp↓ADpα`Dx↓@`Dx↓@`4xα E↓@ E↓@ 5λβ∀ UλαT@E⊂↓T@4P↓↓TP¬∩A∀PβQ(GP	∧bA D)1λ%D*p(+↓*P(*↓*0()↓*⊂((A
('A)`(&A)@(%A) (%∧I!⊂%∧HT ¬β↓X
@αDP
∩BDPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα∩@DPα⊃(@λ⊃IC1XπA+8,↓jpH+B*`(A*P0AJP(↓A*@(αA*@(αA*0(βA* 0βAJ (∧A*⊂(¬A*⊂(¬A*(εA)p0εAIp(πA)`(λA)`(λA)P(	A)@0	AI@(
A)0(A)2λ%λi"_%λhT ↓λ∧1X
Ba%_π∀"$x∧↓A∧pββdhαDT`αD@T`α¬DXαETXα¬@DPαE@TPαεDPαb _α∩@@_	`DPαb _α∩@@_	`DPαεDPαE@TXα¬@DXαET`α¬D`αD@ThαDTpββdx∧↓A¬λ	∀B¬(¬⊃(@_Fβ1X∧A*0()↓j _@j _@j⊂ A
⊂ A
⊂_↓@j ↓A
 ↓A
 ↓A	p αA	p αA	p αA	` βA	` βA	` βA	P ∧A	P ∧A	P ∧A	@ ¬A	@ ¬A	@ ¬A	0 εA	0 εA	0 εA	  πA	  πAλT α¬c!X
@αtPRBtPQ`t`	Sα4`	Sα48βRBtPRBtPQ(@(Fc1X¬i!8%¬i  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πA	  πAλT βπ$↓X
@βTP∞RCTXαST`β∪ dpβ∪`UαTeλβ∀@e_αT`U⊂β∀ eβ∀TxαS@dhβ∪d`αR`TP∞RCTP∞Q(@8⊂λc1X↓Aa@8&αAP%C``%↓@0(α↓ 00%↓ P(↓↓ P(%↓p ↓↓p %↓↓@∧↓
`@+AJp0+AK ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ ,↓ "Q↓↓p⊂Fc0hα∃`E8α∃`E ¬∀"∧x
∪!⊂αA∧`β↓ @(β∩``0α↓@dXαA`@8αR@P@ααTPαα @Hα∩@@Hαα DPαα @Hα∩@@Hαα DPαB@@αR`P8α↓`TXβ↓@@0β∪`(α↓ dh∧@@⊂∧∪bEλλ∃↓%8α∃`E8α∃`D("α$α_
Fa` ,↓ ,↓	  ¬↓↓  %↓!⊂ ∧A) 0∧↓↓0%A@p βAI@(βAp(&Ap βA	P βAp &Ap βA	P βAp &Ap βA	P(β↓`(&A ` β↓)`(αAP('↓@@ α↓Ip0↓A00(↓`⊂ Aj⊃⊂)∧
@`+AK ,↓ ,↓λT ¬π$↓X
B!5λSBThβB t`ββ dXαD TPαD`TPα¬ DPα¬ DPα¬ DPα¬ DPαD`TPαD`TXα∧`DXαD TXαD T`αC`T`αC`Thαβ`DhαC ThαC TpαB`TpαB`TxαB TxαB TP¬Aa4P¬Aa4P¬Aa4("αa8
ε@p@'C	`p&A `(&↓!(%A! (%A↓@ %A↓@ %↓!@(%↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓↓` %↓!@(%A↓@ %A↓@ %A! (&↓!(&A `('βIp`(BλT _D"AP
α 5⊂α∀ Uβ∪A∧`¬∩@`⊂α∩@P_α∩@ 0α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DXλ∩b∧Xλ⊃(C⊂
¬C!Pβα	``&∧	00αAi0(∧↓) (¬↓) (¬A	0_ε↓	@⊂ε↓⊂(,A+(,↓*p(+↓JP0*↓J 8(Aj8'AI`0&↓I00%¬	! %¬λT →EαaP
↓A∧pε∪!d`αA dXαBTXαα@D`↓α`EHα⊗U8αU e¬∀↓∃¬∃@e@αV EPα⊗@EPα∩@ pα∩@0`αR@@PαR@p(β∩b∧hεSa∀("
αa8
εA@(*AJ@8*↓j0_A
  A
 _↓↓
⊂ ↓↓
 ↓A
 ↓A	p α↓	`(α↓	` αA	P β↓	@(β↓	0(βA	0 ∧↓	!0%¬I!0+A
p +A
p +A
p +AλT ~EαaP
"∀XλRb∀Xα∩`DXα∩`DXα∩`DXα∩`@λ∧∩atXλ∩`p(αR`P@αR`@PαV@EPα⊗@EPα⊗@DX↓βDPαα@TPβ↓@dPλRatp∧Q(C0¬c!P∧B*⊂h'Ci`0β↓	P(¬I@(&↓	0(%A	 (α↓i  ↓Bi  ↓β)  AP0%↓a⊂(%↓A0 %↓A0(%↓!P %↓!P %A↓P %A↓P %A!0(&↓↓0 &↓!⊂(&A@P0'βiph)↓hT ≠EαaP
αDP
∩BEHα⊗E8α∃@E(α∃U α∀`E⊂αT@E⊂α∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪`Dxα∪`D("∞αA0
ε@`@'β	Pp&↓@@0%A!(%A↓  %A↓  %A↓  %A!(&↓↓ &A @('β
@'β	@0α↓I0(∧↓)0 ¬↓	  ε↓	  ε↓	  ε↓	  ε↓	 (¬↓)0 ¬↓	00β↓IA'β
@"Qπ⊃0FC 8βSa4hπS`(β∩`PHαR`@Xα∩@PXαR@@hα∩@@hα∩@@pα∩@@pα∩@@pα∩@P`αR`@Xβ∩`PHβS`(∧S!`λα∪A0⊂αTp α⊗@UPα⊗ Th↓α Thα↓ d`πS↓dx∧⊃(B 	¬$⊃p∧j _)j@'αi@p%A@⊂H%A0_AI (↓@` (%↓@_↓A	  α`0 %↓@_↓A	 (↓@i00@i0P&β	P`'Bj H)`⊂()` (%↓@_↓A	  α`0 %↓@_↓A	 (↓@`0 %↓ 0_↓↓)0(↓`  %D	@p&C	p@)j _)hT ∪λ∧!X
B@e_∧∀A%λα@@Uλα↓Eλα↓Eλα↓Eλα↓Eλα`Eλ¬α@Eλ∧B`E⊂βB`U⊂αC EβCTp¬α`Dhεα D`α@`P@αR`@(β↓@TPαA@`(α∩@@@β`TPαα `λαR@@P¬∩@PP∧∩`@PβB$Xβ↓!@ α∪βdhπaDx∧B↓∧("∂B⊃ 
E@p((A*⊂((A*⊂(#@j⊂ (A
⊂ (A
⊂ (↓* 'A)`(&↓I00%↓I  %↓	  ¬@I 0β↓)1&βi`P"Qπqλ
εc0_¬∩AtPλ∩@P0β∩@ Xα∃`E8α∃ e β∀`e⊂αT Uλα∀Uα∀Eα∀Eα⊃`5αTUαTUαQ(Aα↓bA ↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓λT λC↓⊃H
αE⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩@0 αRA4P¬∪t("ε"!0
F`@@&β	0p%↓ `(%↓↓ %↓p(%↓`0%↓ H%↓ 8%↓ @%↓P0%↓p(%↓↓ %↓↓(%↓↓⊂ %↓↓⊂(%↓↓  %↓↓  %↓↓  %↓↓  %↓↓  %↓↓⊂(%↓↓⊂ %↓↓(%↓`0%↓⊂P%↓⊂H%↓⊂0"Qβ"⊃¬α@(∧↓@th¬@a4Xπ!TXαA!  αR`0@βBDX↓α@`H↓U`PPα∃`PX↓U`@`↓TC∧p∞∪βdX∧↓DPβ↓`TPαB DPαα `P↓∩@P@βB4Pβ↓! (αRa`λπS↓@ ε∪@pH∧⊃(AX∩	"A βAa⊂8'B`PX'β 0h&A P(A@@(&↓ pH∧↓	0(∧B↓⊂_%A↓00¬↓	 (¬AA  %↓↓P εi  εDi  εDi  εDi  εA	 (¬AI0 ¬AI0(∧B↓ ⊂&↓ pH∧@iP(αA ⊂0αA)`h↓CipXββ
⊂8¬↓hT ∞¬BqPD@5Xα⊗`Eλ∧ DxπSAthβ↓d`αA@tXαAA∀Xα↓`@λα∩@P0α@TPα↓@P_α∩@@0α↓DPα↓ @(α∩@@ αA DPα`P0α∩@P⊂α↓@TXα @8α∩a⊂0αSp0αS ` β∪!t`πS@λ∧∩`DXα∩`4("λ PH
F`(%↓) (%↓) (%↓) (%↓) (%↓) (%A	0 %A	0 %A	0 %A	0 #@i (%↓) (%↓) ("Q∧2_∪λβ1↓B5P↓A`EHα↓`EHα↓`5H↓A`E@α↓`E@α↓`5@↓A`E8α↓`E8α↓@DP⊃RD4P⊃U @8α∃ @8↓U 08α∃@8α∃@8↓U08α∀`@8α∩D4P⊃RD5⊂α↓@Eλα↓`Eλα↓`5λ↓A`Eα↓`Eα↓`5↓A`Dxα↓`Dxα↓`4x↓B4("	$20⊂G@@0λiP@π↓	@PεA	0(↓↓!0 %A@ ¬↓) (α↓!⊂ %↓` ∧↓	  β↓p(%↓` βA	  β↓` %↓` β↓	  β↓P %↓ @(α↓)0 α↓P %A  (α↓	@Pα↓)P@αAP0'↓@P αB(ααK α↓  (+AP α↓
`(α↓ @(+↓P β↓
P β↓` *A` β↓
@ βA` )A p β↓
0 ∧↓` )↓↓⊂(α↓*⊂(¬↓@ (A↓0(↓↓* εBJ πα
_λ↓HT ∪A!⊂H
@TPαR@TPαR@TXα∩`4Pα∩@4P↓Q(B@¬D∧ap∧j⊂_(ip_'iP &@i@ &↓	@_%A	0 %A	0_%↓	  %↓	  %↓	  %↓	  %↓	  %↓	0_%A	0 %A	@_&↓	@ &@iP 'ip_(j⊂_)hT ∀BaR0∂4X↓S4h↓S@4pα∪`4xα∪`E↓TEα∀Eλ↓T Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλ↓TEα∀E↓S`Dxα∪`4pα∪@4h↓S4X↓R@4("
B↓ 	G@p_(@j⊂_(@J⊂⊂%`@⊂αi  ↓@@0 %↓@⊂⊂AI@`'α
 'α	@`%↓@⊂⊂AI  ↓@@0 %`@⊂αj⊂⊂(@j⊂_(@hT ∃H∧2
C`5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 4P⊂∩D∧P⊂⊗ 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 5H↓V 4("PH∧A(%↓) (%↓) (%A	0_%↓	 _%hT ↔↓!⊂ αTPαR@TPαR@T("b!(∪πAp_,@k ,↓
p +A
p_+↓
` *A
P *↓
@ *j0 )A
  )↓
 _(A
⊂ (↓
 'A	p '@i` '↓	P &A	P_&↓	@ %A	0 %↓	  %i _"Qπ (∧Eα@αR@TPαR@TPαQa$PαR@TPαR@TPαQ(CXαB#⊃ ↓) (%↓) (%↓(pP%↓) (%↓) (%↓)0 %@i  %i _"Qπ@(∧Fb`αR@TPαR@TPαQ`4Xα∩`DXα∩`DXα∩`DXα∩`DPαR@TPαR@TPαR@TPαR@TPαR@TPαQ(Ch⊂λaAλλ	"%λλp0%λ	"%λλT  εCQX
Ba¬⊂εTα∀xβA@dpβα dhαA@`λα∪P(π∪@(πR`P αAtXα↓P0β∩@P ααTPα↓@HαR@@ αα@DPα↓@Pα∩@@ αα@DPα↓@Pα∩@@ αα TPαA@@α∩`@ αA@TXαAP αS@(ε∪P(¬∪ P0β∪@`XαS`p0∧∀αE⊂λ∃!$("⊗a`∪π@@%α	 @%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	 @%α	 @"QP@∧IC`∧∩A∧P∧∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DP∧∩A∧P∧⊃(FαB!⊃X↓i@_%A	0_%↓	 (%↓) (%↓) ("Qα Pπ↓#0α∩`Dh↓S@Dxα∀ 4("∧a! αF`` 'A	`_&↓	0 %hT 
∧α@(@0P↓R`@0α∪@ α∪A∧xβ∀D("¬"↓ βε`_¬i _¬i  ∧↓	 0α↓I0p&β	`@"Qαa⊂
@C⊂	∩B$P	⊃(A8¬E QX↓↓i0_↓@i _α@i _α@i0_↓@i@8"P`ε∨␈x␈␈`β@¬∨␈x␈␈∨␈x␈␈@0_%A	  "Q∧`¬AB @α∀dp∧∪↓∧P∧∩@dPα⊃(Epλ¬QXβ↓	p0&A  &↓@ %@a_%a _"Qp(∧Aβ0αR@TPαR@TPαQ(GhπEQXα↓0 &A0 &↓0 &`@_%@`@_%`@_"Q∂a
↓β0_α↓@4X∧↓4Xπ∩@0 ∧∩@00α⊃(Gxπ∧`AX↓ @(%↓ @(%↓ @(%↓ @(%↓ @("QβR0∪Fc0`UC∃0U @λα∃ @λα∃@⊂α∃@⊂α∀`P⊂α∀`@_α∀@P_α∀@@ α∀ P α∀ @(
∀ @(
∀@0
∀@0α∪`@8α∪atpλ∪B∧hαα Dhαα D`αα@D`αα@DXαα`DXααbdPαβαdPαβαd("πEBx
Fa2)HJ∩ 'B`0'↓A (&AA@ &↓!` &↓↓p %A!p %Aα %↓" %↓α⊂ %↓α⊃(%↓α⊃(%↓α⊃(%↓α⊂ %↓α⊂ %↓" %Aα %A!p &↓↓p &↓!` &AA@ '↓A ('B`0(I*2_*H(T ∂H∧2λ∂ε@6 ↓X`E(¬`U_	T"Dx∧↓A∧pβα`thαC↓∀`αC @λαS@hα`DXαCP_αR`@`αA DPαB`P0αR@@`ααDPαα`@Hα∩@@PαB DPαα PPα∩@@Hαα`DPαα@`α∩@P0αB`TXα↓ P`α∩`P_αCT`α`@hα∪Pλαβ Th∧CTpβB`dx∧↓A∧x
∪BDhα@a$`αSD`↓Q(@X∞GC1XβB @H(α@0P'B` X'↓ @_A @_'↓↓⊂ '↓↓⊂ '↓↓⊂ %β @H%β @H%β @H'↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ "Q↓A(εc08β@`Dx∧@`Dx∧@`Dpα↓ _α∪@Dpα∪@DPπ`DPπ`DPπ`Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα Dpαα D("β"Q0
F`p8↓A	pH↓A	pH↓A	` α@0 '↓↓⊂ '↓↓⊂ '↓↓⊂ %β@0 %β@0 %β@0 '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ "Q↓b⊂⊃Fc08∧↓ p_α∀↓⊂_∧@`Dx¬a⊂_α∪@P ↓@@ ↓`Dpαα Dpαα Dpαα DPεA↓ _α∩AP ¬`DPεA↓ _α∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα∪@@Hαα Dpαα @Hα⊃(@x⊃λc1XβBP8↓A
H↓B 0 'B@0H↓A	`(α@  α@0 '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	 hαα@0 %β @P↓A	 hαα@0 '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ '↓↓⊂ ∧A	` ∧A↓⊂ "Q@pα#0⊂↓A@4`↓A@4Xα↓ DX↓A@4Pα↓ DPαATPαATPαATPαATPαAT("λAa∧F`(α↓) (α↓) (α↓) (α↓) (α↓)0 αA	0_βi  αA	 _βi _βhT ⊗CA`⊂¬@↓dPπ∩Ad("≡c↓@↓β ↓@%ε	!@"Q∂Cλ_@AP_RF∀P_Q?
% @βp:Aπ α>gα>g∂x␈␈␈Pε∨x␈␈␈βo0 H`qc@λ}d⊂⊂@↓Q`9O=H2β_q`⊂_{⊃∧0π∞≤@)o0"G``8q`n>d0∂↓>_Gλ|=Hrλβ*U(#8{∩∧ε@RO0$C (∞≤@↓A>dP@↓∪@r_"=I2λβ.≤888{∪β@¬U*P↓∂0&J ↓*U α∂}dp⊂↓P(β=Ir0βn≤8Zλ{∀βpε#G⊂↓AO0(I@x8q`β↔}e⊂⊂@↓Pp≤@0o=J1`αg∞ tH{∃∧@π∃*P↓s∂0*H`xq`βu}e0⊂↓N_G@$=Jrp∧N≤8↓({⊗∧ε8q`α1∂0,H`qc@∧|}eP∂↓C@rP'=L⊃@α.≤8↓(h{_C⊂¬αZo01E@@qc@¬N}f @↓ X<=LQ0α≤8p↓=X{→Apβπ∞ ββo03F Pε↔}f@@↓ ``=M⊂X↓∞≤8↓R8{~A@α@β,O05FH8q`εk>f`¬@Gλc@p	=MR8βqcH↓eλ{≠C⊂¬βZo07F PπK}g@↓ x?=N⊃Hα@↓⎇x{≤B⊂β*U0∧λ∂09E@@qc@λ≥}g 	s@r↓Y=NQHα@α∞x{≥C∧\8p∧)∂0;H h8q`λf>g@↓↔λc@↓⊂→=O⊃@α.≤8α(λ{≡BP∧∃*P∧[o0πX*U 	C}`λ∃α
PU@↓_'=@"8βqcHα;_{c0¬*U0¬∧o0απ@`≤9
%}`(⊂↓P↓ ]=@b βN≤8αRX{↓dpπcG⊂¬-/0∧	p8q`
q>`H∪@↓xp≤@↓0≡=A" βN≤8αkX{β⊂¬¬eO0_F Pd}c⊂@↓ ↓8k=F1Hα@β↓x{
β⊂¬ε
O0~F P0}c0@↓ ↓Hπ=FqHα@β⊗x{∞β⊂¬ε5O0≤F P
β>b @↓ ↓P7=Db(β`β.x{∂C∧\8pεmO0∨FH8q`
j>a¬@Gλc@↓Xs=B⊂`↓ βA8{ε#∧\8pπ
O0
	p8q`∞1>aX∪@↓xp≤@↓h∪=CAHα@βY8{λ!`αjU0πA∂0⊃J@↓U*`∂⊂>b(∃α8∞↓p`=Dpp↓1cHβx_{
α0βqc@πso0∀D`8cG∂|}bP@↓ α$=E28βqcH∧λx{↓`αcG⊂λ≠∂0↔β@(G∞ ⊂<}bx@↓ αλα=G p↓1cH∧∃H{∞a`αcG⊂λ.o0≡β@(U*`⊂g>ch∪@↓xp≤@αλk=Hαλβ*U(∧≡X{⊗a`αjU0λN∂0.C@(U*`⊃1>fπXp≤@α_
=B!Hα@∧3({∧c⊂¬λi∂0
ε P⊃V}a(@↓ α_:=BaHα@∧9λ{¬dε8q`λso0	p8q`⊃n>b¬@Gλc@α_l⎇KaHα@∧>p{↔a`αcG⊂	↓∨0>F P∩ε↑gp@↓ α ≤⎇OqHα@∧E⊂{π% λ@	
←0∂↓_8q`∩6≡ax∪@↓xp≤@α(!⎇A1hαu*X∧]p{ββ ¬#G⊂	K∨0εF@PG∞ ∪3≡`p∀α↓`9α8"⎇Ar@∧βG⊂∧␈⊂{↔β⊂¬
∀←0⊃ε P∀5≡bhλ@jPU@αH↓⎇O1Hα@¬⊃{∨ε 

#←H¬∩PAw{⎇xow{⎇x